atom\_eq\{\$n:n\}($a$; $b$; $x$; $y$) \textbf{is Primitive}